Ed Lucas - PDFSEARCH.IO - Document Search Engine

Ed Lucas
Results: 61

#	Item
51	CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-19 12:03:26 Mathematics Mathematical logic Theoretical computer science Computability theory Theory of computation Recursion Type theory Structural induction Mathematical induction Rippling Nqthm Constructible universe
52	Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-07 05:38:09
53	Plans, Actions and Dialogues using Linear Logic Lucas Dixon, Alan Smaill, Tracy Tsang 13 Dec 2007 Lucas Dixon Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-12-13 07:44:33
54	IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-25 09:29:34
55	Value as a Moderator in Subjective Well-Being Shigehiro Oishi Ed Diener Eunkook Suh Richard E. Lucas Add to Reading List Source URL: people.virginia.edu Language: English - Date: 2002-11-12 18:57:50 Ethology Mental health Positive psychology Psychology Emotions Subjective well-being Life satisfaction Self-determination theory Affect Mind Happiness Behavior
56	Beyond the Hedonic Treadmill Revising the Adaptation Theory of Well-Being Ed Diener Richard E. Lucas Christie Napa Scollon Add to Reading List Source URL: www.wisebrain.org Language: English - Date: 2011-03-01 05:47:57 Positive psychology Personal life Emotions Happiness Psychologists Ed Diener Subjective well-being Life satisfaction Hedonic treadmill Mind Behavior Psychology
57	2010; 32: 971–976 Medical students’ use of Facebook to support learning: Insights from four case studies KATHLEEN GRAY, LUCAS ANNABELL & GREGOR KENNEDY The University of Melbourne, Australia Add to Reading List Source URL: www.currexec.mvm.ed.ac.uk Language: English - Date: 2011-04-15 10:03:02 Community building Social networking service Youth Facebook E-learning Problem-based learning Online community Medical school Instructional simulation Education Social information processing Educational psychology
58	Wave Powered Desalination. Stephen H Salter, Joao MBP Cruz, Jorge AA Lucas, Remy CR Pascal. Institute of Energy Systems, School of Engineering and Electronics, University of Edinburgh. Mayfie Add to Reading List Source URL: www.see.ed.ac.uk Language: English* - Date: 2007-03-16 08:07:07 Filters Water treatment Heat pumps Water desalination Mechanical engineering Desalination Heat exchanger Heat transfer Reverse osmosis Chemical engineering Chemistry Technology
59	Vous êtes cordialement invités à la soutenance de la thèse de Lucas, PASCAL Add to Reading List Source URL: www.ed-megep.fr Language: French - Date: 2013-10-28 06:39:53
60	CURRICULUM VITAE FRANCISCO ANTÓNIO LUCAS PIRES, nasceu em Coimbra, a 15 de Setembro de[removed]Casado com Maria Teresa Bahia de Almeida Garrett. Pai de Jacinto, Rafael, Martinho e Simão de Almeida Garrett Lucas Pires. Add to Reading List Source URL: epp-ed.eu Language: Portuguese - Date: 2008-05-20 11:37:07